/*
  The <stdio.c> implements i/o functions in kernel space
 */

#include <types.h>
#include <klib.h> /* port I/O functions */
#include <stdio.h>
#include <tty.h>


void clear(void)
  {
    tty_clear(current_tty);
  }

int putchar(int c)
  {
    tty_write_char(current_tty,c);
  }
